Amalgamation in small varieties of lattices
نویسندگان
چکیده
منابع مشابه
Varieties of Lattices
In this chapter we discuss some of the more recent results and give a general overview of what is currently known about lattice varieties. Of course it is impossible to give a comprehensive account. Often we only cite recent or survey papers, which themselves have many more references. We would like to apologize in advance for any errors, omissions, or miscrediting of results. For proofs of the...
متن کاملVarieties of Residuated Lattices
ACKNOWLEDGMENTS This thesis wouldn't have been possible without the help and support of certain people. I could not possibly itemize my gratitude in detail, but I would like to mention some of the most important names. First and foremost, I would like to thank my advisor, Constantine Tsinakis, for introducing me to the subject of residuated lattices, and for his guidance and advice. Despite his...
متن کاملMinimal varieties of residuated lattices
In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many commutative atoms and construct continuum many non-commutative, representable atoms that satisfy the idempotent law; this answers Problem 8.6 of [12]. Moreover, we show that there are only two commutative idempotent atoms and only two cancellative atoms. Fi...
متن کاملCompletion and amalgamation of bounded distributive quasi lattices
In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras.
متن کاملSemisimplicity, Amalgamation Property and Finite Embeddability Property of Residuated Lattices
In this thesis, we study semisimplicity, amalgamation property and finite embeddability property of residuated lattices. We prove semisimplicity and amalgamation property of residuated lattices which are of purely algebraic character, by using proof-theoretic methods and results of substructural logics. On the other hand, we show the finite model property (FMP) for various substructural logics,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1990
ISSN: 0022-4049
DOI: 10.1016/0022-4049(90)90143-6